geometric semantics